Reducts and Modal Operators on Residuated Lattices
نویسنده
چکیده
Proposition 3. If A=〈A,∧,∨, ·, \, /, 1, γ〉 is a residuated lattice with a nucleus γ, then the algebra Aγ=〈Aγ ,∧,∨γ , ·γ , \, /, γ(1)〉 is a residuated lattice, where Aγ=γ[A] and for all x, y ∈ Aγ , x ∨γ y=γ(x ∨ y) and x ·γ y=γ(x · y). For a variety V of residuated lattices with modal operators, consider V∗, the full subcategory of V consisting of those pairs 〈B, 〉 such that B generates B as a residuated lattice.
منابع مشابه
Triangle Algebras: Towards an Axiomatization of Interval-Valued Residuated Lattices
In this paper, we present triangle algebras: residuated lattices equipped with two modal, or approximation, operators and with a third angular point u, different from 0 (false) and 1 (true), intuitively denoting ignorance about a formula’s truth value. We prove that these constructs, which bear a close relationship to several other algebraic structures including rough approximation spaces, prov...
متن کاملModal twist-structures over residuated lattices
We introduce a class of algebras, called twist-structures, whose members are built as special squares of an arbitrary residuated lattice. We show how our construction relates to and encompasses results obtained by several authors on the algebraic semantics of non-classical logics. We define a logic that corresponds to our twist-structures and show how to expand it with modal operators, obtainin...
متن کاملTopological Residuated Lattices
In this paper, we study the separtion axioms $T_0,T_1,T_2$ and $T_{5/2}$ on topological and semitopological residuated lattices and we show that they are equivalent on topological residuated lattices. Then we prove that for every infinite cardinal number $alpha$, there exists at least one nontrivial Hausdorff topological residuated lattice of cardinality $alpha$. In the follows, we obtain some ...
متن کاملFuzzy Modal–Like Approximation Operations Based on Residuated Lattices
In many applications we have a set of objects together with their properties. Since the available information is often incomplete and/or imprecise, the true knowledge about subsets of objects can be determined approximately only. In this paper we present a fuzzy generalisation of two relation–based operations suitable for fuzzy set approximations. Main properties of these operations are present...
متن کاملTopological Duality and Lattice Expansions Part II: Lattice Expansions with Quasioperators
Lattices have many applications in mathematics and logic, in which they occur together with additional operations. For example, in applications of Hilbert spaces, one is often concerned with the lattice of closed subspaces of a fixed space. This lattice is not distributive, but there is an operation taking a given subspace to its orthogonal subspace. More generally, ortholattices are lattices w...
متن کامل